syntax directed translation definition